max $partialdiff sub X$ $integral dT$ [ Princeton tmax ]